PyDigger - unearthing stuff about Python
| Name | Version | Summary | date |
|---|---|---|---|
| pygments-rzk | 0.1.3 | Pygments lexer for Rzk language (of proof assistant for synthetic ∞-categories). | 2023-07-10 21:57:31 |
Nikolai Kudasov
| hour | day | week | total |
|---|---|---|---|
| 50 | 2420 | 9340 | 269578 |